/* CSS declarations go here */

body {
  padding-top: 20px; 
}

#buffer {
  margin-top: 20px;
}

#cmd {
  font-weight:bold;
  font-size: 1.5em;
  padding-left: 20px; 
}

pre {
  font-size: 1.5em
}



